CamIL: Un compilateur Objective Caml vers .NET
نویسندگان
چکیده
We present a first version of our Objective Caml compiler, called OCamIL, for .NET. Our goal is to understand whether this new generation of virtual machines and runtime environment can help us compile ML programs and produce executables of reasonable efficiency. Our main constraint is to be compatible with the original language, and its advanced programming features (functional values, exceptions, parameterized modules, objects).
منابع مشابه
Vérification de programmes C concurrents avec Cubicle : Enfoncer les barrières
Toutes les bibliothèques de threads au standard POSIX se doivent d’implémenter une barrière de synchronisation. Une telle structure de contrôle permet à des threads de s’attendre en un point donné d’un programme. Il existe de nombreuses implémentations pour ces barrières, plus ou moins sophistiquées. Citons par exemple, les sense barriers, les static tree barriers, les tournament barriers, etc....
متن کاملVers un usage plus sûr de l'aliasing avec Eiffel
RÉSUMÉ. Le code source du compilateur SmallEiffel fait un usage intensif de l’aliasing afin d’atteindre les meilleures performances, tant en termes de mémoire que de vitesse d’exécution. Cette technique semble très appropriée à la compilation mais peut aussi s’appliquer à une large gamme d’applications. Grâce aux capacités de programmation par contrat du langage Eiffel, l’aliasing peut être gér...
متن کاملMixing the Objective Caml and C# Programming Models in the .Net Framework
We present a new code generator, called O’Jacaré.net, to inter-operate between C# and Objective Caml through their object models. O’Jacaré.net defines a basic IDL (Interface Definition Language) that describes classes and interfaces in order to communicate between Objective Caml and C#. O’Jacaré.net generates all needed wrapper classes and takes advantage of static type checking in both worlds....
متن کاملar X iv : 0 70 5 . 14 58 v 1 [ cs . P L ] 1 0 M ay 2 00 7 Mixing the Objective Caml and C # Programming Models in the . NET Framework
We present a new code generator, called O’Jacaré.net, to inter-operate between C# and Objective Caml through their object models. O’Jacaré.net defines a basic IDL (Interface Definition Language) that describes classes and interfaces in order to communicate between Objective Caml and C#. O’Jacaré.net generates all needed wrapper classes and takes advantage of static type checking in both worlds....
متن کاملObjective Caml on .NET: The OCamIL Compiler and Toplevel
We present the OCamIL compiler for Objective Caml that targets .NET. Our goal is to understand whether this new generation of virtual machines and runtime environment can help us compile ML programs and produce executables of reasonable efficiency. We aim at compatibility with the original language, and its advanced programming features (functional values, exceptions, parameterized modules, obj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004